11![arXiv:1207.1641v1 [cs.AI] 6 Jul 2012 arXiv:1207.1641v1 [cs.AI] 6 Jul 2012](https://www.pdfsearch.io/img/561480f05767874bd3379362f25f1132.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2015-02-05 09:51:05
|
---|
12![Optimized Reasoning in Description Logics using Hypertableaux Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for Description Logics Optimized Reasoning in Description Logics using Hypertableaux Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for Description Logics](https://www.pdfsearch.io/img/17f3a0321c8696a594c6549a2f8678f5.jpg) | Add to Reading ListSource URL: www.hermit-reasoner.comLanguage: English - Date: 2012-02-03 12:06:02
|
---|
13![Algebra 2. Teorema di Lindemann-Weierstrass. Roma, gennaio 2010 In this note we present Baker’s proof of the Lindemann-Weierstrass Theorem. Let Q denote the algebraic closure of Q inside C. Algebra 2. Teorema di Lindemann-Weierstrass. Roma, gennaio 2010 In this note we present Baker’s proof of the Lindemann-Weierstrass Theorem. Let Q denote the algebraic closure of Q inside C.](https://www.pdfsearch.io/img/142ed8996ea33bbfe2d6a6aa860346c9.jpg) | Add to Reading ListSource URL: www.mat.uniroma2.itLanguage: English - Date: 2010-01-22 06:36:10
|
---|
14![221 Documenta Math. Limit Mordell–Weil Groups and their p-Adic Closure Haruzo Hida 221 Documenta Math. Limit Mordell–Weil Groups and their p-Adic Closure Haruzo Hida](https://www.pdfsearch.io/img/ba58bb5d104954ac96d231e52acae18d.jpg) | Add to Reading ListSource URL: documenta.sagemath.orgLanguage: English - Date: 2015-07-24 13:39:22
|
---|
15![COMMENTS ON THE MAIN THEOREM OF POP-STIX Shinichi Mochizuki Updated November 15, 2010 Let k be a finite extension of Qp , k an algebraic closure of k, and X a proper COMMENTS ON THE MAIN THEOREM OF POP-STIX Shinichi Mochizuki Updated November 15, 2010 Let k be a finite extension of Qp , k an algebraic closure of k, and X a proper](https://www.pdfsearch.io/img/cb15dcfa89539d9adc021924a667f9f3.jpg) | Add to Reading ListSource URL: www.kurims.kyoto-u.ac.jpLanguage: English - Date: 2011-11-07 02:27:50
|
---|
16![279 Documenta Math. Essential Dimension: a Functorial Point of View 279 Documenta Math. Essential Dimension: a Functorial Point of View](https://www.pdfsearch.io/img/385dc44f96a167c919cca688ed329307.jpg) | Add to Reading ListSource URL: www.math.uiuc.eduLanguage: English - Date: 2003-12-20 16:37:49
|
---|
17![Towards Lang-Trotter for Elliptic Curves over Function Fields Chris Hall and Jos´e Felipe Voloch 1. Introduction Let K be a global field of char p and let Fq ⊂ K denote the algebraic closure of Fp in Towards Lang-Trotter for Elliptic Curves over Function Fields Chris Hall and Jos´e Felipe Voloch 1. Introduction Let K be a global field of char p and let Fq ⊂ K denote the algebraic closure of Fp in](https://www.pdfsearch.io/img/8a0af7d80f820729e804c616ada64f9d.jpg) | Add to Reading ListSource URL: www.ma.utexas.eduLanguage: English - Date: 2005-02-10 15:58:06
|
---|
18![SCHEMES OF LATTICES WILLIAM J. HABOUSH Let k denote the algebraic closure of the field with p elements. Then K, the fraction field of the ring of Witt vectors over k is the local Hilbert class field. Let O denote ring of SCHEMES OF LATTICES WILLIAM J. HABOUSH Let k denote the algebraic closure of the field with p elements. Then K, the fraction field of the ring of Witt vectors over k is the local Hilbert class field. Let O denote ring of](https://www.pdfsearch.io/img/2ed7a7f48578dff75a341364b5499a57.jpg) | Add to Reading ListSource URL: www.math.columbia.eduLanguage: English - Date: 2007-02-04 11:17:16
|
---|
19![Algebraic closure of some generalized convex sets Anna B. ROMANOWSKA* Warsaw University of Technology, Poland ´ DLI G´ Algebraic closure of some generalized convex sets Anna B. ROMANOWSKA* Warsaw University of Technology, Poland ´ DLI G´](https://www.pdfsearch.io/img/1be1097e68ce3218b38bea2c8c4e89ee.jpg) | Add to Reading ListSource URL: web.cs.du.eduLanguage: English - Date: 2013-08-15 17:02:28
|
---|
20![Maximal-Element Rationalizability∗ Walter Bossert D´epartement de Sciences Economiques and CIREQ Universit´e de Montr´eal C.P. 6128, succursale Centre-ville Montr´eal QC H3C 3J7 Maximal-Element Rationalizability∗ Walter Bossert D´epartement de Sciences Economiques and CIREQ Universit´e de Montr´eal C.P. 6128, succursale Centre-ville Montr´eal QC H3C 3J7](https://www.pdfsearch.io/img/ccd2ba72b7b900f2e207c103f834267c.jpg) | Add to Reading ListSource URL: cis.ier.hit-u.ac.jpLanguage: English - Date: 2014-07-03 01:57:35
|
---|